(Defining Fontsets): Fix use of `charset' and `font'.

diff --git a/man/mule.texi b/man/mule.texi
index 9437e30f485a045089f0b1c9aa34a76cbf10c3a3..e9a30301ed89c17f9e7bb1c98b18097755f701f0 100644 (file)
--- a/man/mule.texi
+++ b/man/mule.texi
@@ -1302,7 +1302,7 @@ menus cannot handle fontsets.
 The resource value should have this form:
 
 @smallexample
-@var{fontpattern}, @r{[}@var{charsetname}:@var{fontname}@r{]@dots{}}
+@var{fontpattern}, @r{[}@var{charset}:@var{font}@r{]@dots{}}
 @end smallexample
 
 @noindent